@BOOK{Gosling2005,
  title = {The Java Language Specification, Third Edition},
  publisher = {Addison Wesley},
  year = {2005},
  author = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha},
}

@INPROCEEDINGS{Sunshine2011,
  author = {Joshua Sunshine and Karl Naden and Sven Stork and Jonathan Aldrich
	and {\'E}ric Tanter},
  title = {First-Class State Change in Plaid},
  booktitle = {{Proceedings of Object-Oriented
	Programming, Systems, Languages, and Applications (OOPSLA)}},
  year = {2011},
}

@TechReport{stork10:uaeminium_spec,
    author =       {Sven Stork and Jonathan Aldrich and Paulo Marques },
    title =        {{micro-AEmimium Language Specification}},
    institution =  {Carnegie Mellon University},
    year =         {2010},
    number =       {CMU-ISR-10-125R1}
}

@Inproceedings{stork09:concurrency_by_default,
    author = {Stork, Sven and Marques, Paulo and Aldrich, Jonathan},
    title = {Concurrency by default: using permissions to express dataflow in stateful programs},
    booktitle = {{Onward!}},
    year = {2009},
}

@Inproceedings{naden12:borrowingPermissions,
    author = {Naden, Karl and Bocchino, Robert and Aldrich, Jonathan and Bierhoff, Kevin},
    title = {A Type System for Borrowing Permissions},
    booktitle = {{Proceedings of Principles of Programming Languages (POPL)}},
    year = {2012},
}